Submission of an Inria associate team proposal THOR (complexity Theory at Higher ORder) in collaboration with Syracuse University, Wesleyan University (Royer, Danner, Ramyaa Ramyaa) and Egypt-Japan University (Walid Gomaa).